<tool command="moka" envar="1">
	<row>
		<fsm_filename descr="fsm file" empty="0" color="#000000" hasgenfiles="1" hasdirfiles="1" hasprjfiles="1" editable="1"/>
		<ctl_filename descr="ctl file" empty="0" color="#000000" hasgenfiles="1" hasdirfiles="1" hasprjfiles="1" editable="1"/>
	</row>
	<options>
		<option opt="-V" descr="Sets verbose mode on. Each step of the model checking is displayed on the standard output"/>
		<option opt="-D" descr="Sets debug mode on. Each step of the model checking is detailed on the standard output.\nIn particular all states set are displayed for each CTL sub-expression"/>
		<option opt="-B" descr="The input file is a VHDL description using the Alliance VHDL subset"/>
	</options>
	<command value="command options fsm_filename ctl_filename"/>
</tool>
